|
課程名稱 |
集合論
Set Theory |
|
開課學期 |
108-2 |
|
授課對象 |
電機資訊學院 資訊工程學研究所 |
|
授課教師 |
呂學一 |
|
課號 |
CSIE5010 |
|
課程識別碼 |
922 U4640 |
|
班次 |
|
|
學分 |
3.0 |
|
全/半年 |
半年 |
|
必/選修 |
選修 |
|
上課時間 |
星期一8,9,10,A(15:30~19:15) |
|
上課地點 |
普102 |
|
備註 |
總人數上限：200人 |
|
Ceiba 課程網頁 |
http://ceiba.ntu.edu.tw/1082settheory |
|
課程簡介影片 |
|
|
核心能力關聯 |
核心能力與課程規劃關聯圖 |
|
課程大綱
|
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
|
課程概述 |
介紹基礎集合論的基本知識 |
|
課程目標 |
本課程的目標在於讓修課同學：
熟悉基礎集合論的基本知識
提昇嚴謹推理的能力 |
|
課程要求 |
2020/3/2 更新: 期末考改在學校表定期末考週也就是第十六週的2020/6/15舉行。
2020/2/18 更新：學校已經宣布開學延後兩週到2020/3/2, 為了不要影響原本暑假活動的安排，本學期課程只會上課十六週。少掉的兩週共三百分鐘的授課時間會平均分攤到前十六週：每週前兩節課都會上完六十分鐘休息五分鐘，第三節課上五十分鐘，所以3:30開始上課會在6:30下課。
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
這是一門邏輯/數學課程，沒有預設的先修課程。
本課程沒有教科書，我會根據參考書目整理出授課內容。
這是新開設的課程，會盡量將教材製作成投影片，如果某週來不及做完投影片，則會用白板/黑板上課。就算是投影片上課，也建議同學們上課時做一點小筆記。
學期成績以兩次考試各佔百分之五十的原始成績（也許再經過一些調整之後）來計算。
期末考會在2020/6/15舉行。期中考會在開學第一週調查修課同學的時間後，然後在第二次上課時公布。公布後就不會再更動，不會有補考或提前考的機制。 |
|
預期每週課後學習時數 |
|
|
Office Hours |
|
|
指定閱讀 |
無 |
|
參考書目 |
(1) Cunningham, A First Course in Set Theory, Cambridge University Press (2016).
(2) Jech, Set Theory, Springer, 3rd edition (2006).
(3) Kunen, Set Theory - An Introduction to Independence Proofs, North-Holland (1983).
(4) Enderton, Elements of Set Theory, Academic Press (1977). |
|
評量方式
(僅供參考) |
|
|
週次 |
日期 |
單元主題 |
|
第1週 |
3/02 |
課程簡介 |
|
第2週 |
3/09 |
六個公理 |
|
第3週 |
3/16 |
函數與選擇公理 |
|
第4週 |
3/23 |
無窮公理與自然數 |
|
第5週 |
3/30 |
自然數的良序 |
|
第6週 |
4/06 |
溫書假 |
|
第7週 |
4/13 |
整數與有理數 |
|
第8週 |
4/20 |
實數 |
|
第9週 |
4/27 |
期中考 |
|
第10週 |
5/04 |
等量集合與選擇定理 |
|
第11週 |
5/11 |
替代公理與推廣版超限歸納定理 |
|
第12週 |
5/18 |
序長與序數 |
|
第13週 |
5/25 |
容量與基數 |
|
第14週 |
6/01 |
規律公理與集合塔 |
|
第15週 |
6/08 |
海怪定理 |
|
第16週 |
6/15 |
期末考 |
|